Logique de Hoare

Hoare logic - formal system with a set of logical rules for reasoning rigorously about the correctness of computer programs. Article “Logique de Hoare” in French Wikipedia has 19.2 points for quality (as of July 1, 2025). The article contains 4 references and 17 sections.

This article has the best quality in English Wikipedia. Also, this article is the most popular in that (French) language version.

Since the creation of article “Logique de Hoare”, its content was written by 44 registered users of French Wikipedia and edited by 371 registered Wikipedia users in all languages.

The article is cited 19 times in French Wikipedia and cited 255 times in all languages.

The highest Authors Interest rank from 2001:

• Local (French): #3481 in December 2015
• Global: #12466 in February 2003

The highest popularity rank from 2008:

• Local (French): #64961 in November 2010
• Global: #166803 in July 2015

There are 17 language versions for this article in the WikiRank database (of the considered 55 Wikipedia language editions).

The quality and popularity assessment was based on Wikipédia dumps from July 1, 2025 (including revision history and pageviews for previous years).

The table below shows the language versions of the article with the highest quality.

#	Language	Quality grade	Quality score
1	English (en) Hoare logic		37.164
2	German (de) Hoare-Kalkül		34.6629
3	Korean (ko) 호어 논리		25.3969
4	Chinese (zh) 霍尔逻辑		24.2904
5	Finnish (fi) Hoaren logiikka		24.0064
6	Ukrainian (uk) Логіка Гоара		22.1913
7	Arabic (ar) منطق هور		21.1259
8	Japanese (ja) ホーア論理		20.5315
9	Portuguese (pt) Lógica de Hoare		20.0656
10	French (fr) Logique de Hoare		19.2379

More...

The following table shows the most popular language versions of the article.

The most popular language versions of the article "Logique de Hoare" in all the time

#	Language	Popularity award	Relative popularity
1	English (en) Hoare logic		790 015
2	German (de) Hoare-Kalkül		173 530
3	Russian (ru) Логика Хоара		71 052
4	French (fr) Logique de Hoare		66 341
5	Japanese (ja) ホーア論理		55 520
6	Chinese (zh) 霍尔逻辑		41 400
7	Spanish (es) Lógica de Hoare		30 893
8	Polish (pl) Logika Hoare’a		23 650
9	Italian (it) Logica di Hoare		23 486
10	Portuguese (pt) Lógica de Hoare		12 149

More...

The following table shows the language versions of the article with the highest popularity in the last month.

The most popular language versions of the article "Logique de Hoare" in June 2025

#	Language	Popularity award	Relative popularity
1	English (en) Hoare logic		3 388
2	German (de) Hoare-Kalkül		341
3	Japanese (ja) ホーア論理		261
4	Russian (ru) Логика Хоара		221
5	Chinese (zh) 霍尔逻辑		144
6	French (fr) Logique de Hoare		135
7	Polish (pl) Logika Hoare’a		114
8	Spanish (es) Lógica de Hoare		109
9	Portuguese (pt) Lógica de Hoare		72
10	Italian (it) Logica di Hoare		56

More...

The following table shows the language versions of the article with the highest Authors’ Interest.

Language versions of the article "Logique de Hoare" with the highest Authors Interest (number of authors). Only registered Wikipedia users were taken into account.

#	Language	AI award	Relative AI
1	English (en) Hoare logic		95
2	German (de) Hoare-Kalkül		63
3	French (fr) Logique de Hoare		44
4	Italian (it) Logica di Hoare		30
5	Dutch (nl) Hoarelogica		26
6	Chinese (zh) 霍尔逻辑		19
7	Ukrainian (uk) Логіка Гоара		17
8	Polish (pl) Logika Hoare’a		16
9	Japanese (ja) ホーア論理		15
10	Russian (ru) Логика Хоара		15

More...

The following table shows the language versions of the article with the highest Authors’ Interest in the last month.

Language versions of the article "Logique de Hoare" with the highest AI in June 2025

#	Language	AI award	Relative AI
1	Arabic (ar) منطق هور		3
2	Italian (it) Logica di Hoare		1
3	German (de) Hoare-Kalkül		0
4	English (en) Hoare logic		0
5	Spanish (es) Lógica de Hoare		0
6	Finnish (fi) Hoaren logiikka		0
7	French (fr) Logique de Hoare		0
8	Japanese (ja) ホーア論理		0
9	Korean (ko) 호어 논리		0
10	Dutch (nl) Hoarelogica		0

More...

The following table shows the language versions of the article with the highest number of citations.

Language versions of the article "Logique de Hoare" with the highest Citation Index (CI)

#	Language	CI award	Relative CI
1	English (en) Hoare logic		75
2	Japanese (ja) ホーア論理		20
3	Chinese (zh) 霍尔逻辑		20
4	German (de) Hoare-Kalkül		19
5	Spanish (es) Lógica de Hoare		19
6	French (fr) Logique de Hoare		19
7	Ukrainian (uk) Логіка Гоара		15
8	Russian (ru) Логика Хоара		14
9	Dutch (nl) Hoarelogica		13
10	Italian (it) Logica di Hoare		11

More...

#	Language	Value
ar	Arabic منطق هور
de	German Hoare-Kalkül
en	English Hoare logic
es	Spanish Lógica de Hoare
fi	Finnish Hoaren logiikka
fr	French Logique de Hoare
it	Italian Logica di Hoare
ja	Japanese ホーア論理
ko	Korean 호어 논리
nl	Dutch Hoarelogica
pl	Polish Logika Hoare’a
pt	Portuguese Lógica de Hoare
ru	Russian Логика Хоара
sk	Slovak Hoareova logika
uk	Ukrainian Логіка Гоара
vi	Vietnamese Luận lý Hoare
zh	Chinese 霍尔逻辑

Best Rank

French: #64961 11.2010

Global: #166803 07.2015

Best Rank

French: #3481 12.2015

Global: #12466 02.2003

On 16 March 2026 in multilingual Wikipedia, Internet users most often read articles on the following topics: 98th Academy Awards, Michael B. Jordan, Sinners, Jessie Buckley, Paul Thomas Anderson, Sean Penn, One Battle After Another, Amy Madigan, Hamnet, Timothée Chalamet.

In French Wikipedia the most popular articles on that day were: Bruno Salomone, 98e cérémonie des Oscars, Sarah Knafo, Stéphane Audran, Une bataille après l'autre, Michael B. Jordan, Élections municipales de 2026 à Paris, Emmanuel Grégoire, Les Noces rouges, Sinners (film).

The WikiRank project is intended for automatic relative evaluation of the articles in the various language versions of Wikipedia. At the moment the service allows to compare over 44 million Wikipedia articles in 55 languages. Quality scores of articles are based on Wikipedia dumps from July, 2025. When calculating current popularity and AI of articles data from June 2025 was taken into account. For historical values of popularity and AI WikiRank used data from 2001 to 2025... More information